Diagram Chase in Relational System Development
نویسندگان
چکیده
We present diagrammatic techniques for relational reasoning in formal methods like B or Z; in particular induction and coinduction techniques. Our diagrams are endowed with a simple algebraic semantics that imposes a convenient balance between expressive and algorithmic power. This makes the approach particularly suitable for mechanization and automation. Its usefulness for visual reasoning is illustrated by various examples.
منابع مشابه
Development of Virtual University Semantic Web Service Using XML and Relational Database
In this paper a development of virtual university semantic web service is focused. This approach uses XML, relational database and development of a web application to store, retrieve, and transfer operative notes between database and XML file. To provide an additional management features for this suggested approach, a proposed web application is designed to be intelligent. In addition, the syst...
متن کاملModeling and development of a decision support system for supplier selection in the process industry
This paper presents the development of a model based decision support system with a case study on solving the supplier selection problem in a chemical processing industry. For the evaluation and selection of supplier, the analytical hierarchy process (AHP) and grey relational analysis (GRA) were used. The intention of the study is to propose an appropriate platform for process industries in ...
متن کاملO Object-relational Modeling in the Uml
Modeling techniques play an important role in the development of database applications. One of the trends in current database management systems is that they become object-relational (Stonebraker & Brown, 1999). The most recent version of the SQL standard, SQL:1999, includes object-relational features, and a number of leading companies have already released packages that incorporate them. Well-...
متن کاملDependency Satisfaction in Databases with Incomplete Information
Two of the major problems raised by information incompleteness in databases are how to evaluate queries and how to take data dependencies into account. We give a unified solution of these two intermingled problems for the relational model. Formal criteria for the correctness of the relational algebra and dependency satisfaction are presented. We give a correct redefinition of the complete relat...
متن کاملA Visual System for Compositional Relational Programming
Combilog is a compositional relational programming language that allows writing relational logic programs by functionally composing relational predicates. Higraphs, a diagram formalism is consulted to simplify some of the textual complexity of compositional relational programming to achieve a visual system that can represent these declarative meta-programs, with the final intention to design an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 127 شماره
صفحات -
تاریخ انتشار 2005